Patrick Doherty - PDFSEARCH.IO - Document Search Engine

Patrick Doherty
Results: 80

#	Item
11	Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:13 Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic
12	TALplanner: A Temporal Logic Based Planner Patrick Doherty and Jonas Kvarnstr¨om Abstract Talplanner is a forward-chaining planner which utilizes domain-dependent knowledge to control search in the state Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:31 Planner Mathematical optimization Temporal logic Software engineering Computing Artificial intelligence Automated planning and scheduling Logic programming
13	Deductive Planning with Inductive Loops Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:28 Science Mathematical induction Mathematical proof First-order logic Algorithm Unification Recursion Function Inductive reasoning Logic Mathematics Mathematical logic
14	WITAS: An Intelligent Autonomous Aircraft Using Active Vision G¨osta Granlund, Klas Nordberg, Johan Wiklund, Patrick Doherty, Erik Skarman, Erik Sandewall Link¨ oping University, SE[removed]Link¨ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:45:44 Military Integrated Dynamics National security Miniature UAV Unmanned aerial vehicles Military terminology Signals intelligence
15	TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:29 Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus
16	A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:25 Mathematical logic Logical syntax Metalogic Well-formed formula Interpretation Unmanned aerial vehicle Golden ratio Linear temporal logic Action description language Logic Formal languages Mathematics
17	Stream-Based Middleware Support for Embedded Reasoning∗ Fredrik Heintz, Jonas Kvarnstr¨om and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, jonkv, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:44:42 Knowledge representation Cognition Database management systems Middleware Systems engineering Reasoning system Database Frame language Spatial–temporal reasoning Artificial intelligence Reasoning Science
18	Bridging the Sense-Reasoning Gap using the Knowledge Processing Middleware DyKnow Fredrik Heintz, Piotr Rudol, and Patrick Doherty Department of Computer and Information Science Link¨opings universitet, Sweden {frehe, p Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:57:01 National security Military terminology Signals intelligence Unmanned aerial vehicle Sensor fusion Geographic information system Infrared Object Pose Electromagnetic radiation Espionage Computer vision
19	Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing Fredrik Heintz and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science, Link¨opings universite Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:49:49 Software engineering Middleware Video game development Stream processing Database Game engine Abstraction Complex event processing Robotics middleware Computing Systems engineering Programming paradigms
20	Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:41 Epistemology Reasoning Knowledge representation Logic programming Frame problem Reasoning system Automated planning and scheduling Fluent Unmanned aerial vehicle Artificial intelligence Science Knowledge